Interactive Small-Step Algorithms I: Axiomatization

In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. Here we extend the axiomatization and, in a companion paper, the proof, to cover interactive small-step algorithms that are not necessarily ordinary. This means that the algorithms (1) can complete a step without necessarily waiting for replies to all queries from that step and (2) can use not only the environment's replies but also the order in which the replies were received

Taxation as a Global Socio-Legal Phenomenon

This essay makes a proposal that may not be controversial among those with a particular interest in international law, but may be less accepted among those primarily interested in tax law: that international social and institutional structures shape, and are shaped by, historical and contemporary domestic policy decisions. As a result, to incorporate these lessons, tax scholarship should turn to fields such as international relations, organizational theory, and political philosophy to provide a broader framework for understanding the rapid changes that are taking place in tax policy and politics in the United States and around the world

The post-transcriptional trans-acting regulator, TbZFP3, co-ordinates transmission-stage enriched mRNAs in Trypanosoma brucei

Post-transcriptional gene regulation is essential to eukaryotic development. This is particularly emphasized in trypanosome parasites where genes are co-transcribed in polycistronic arrays but not necessarily co-regulated. The small CCCH protein, TbZFP3, has been identified as a trans-acting post-transcriptional regulator of Procyclin surface antigen expression in Trypanosoma brucei. To investigate the wider role of TbZFP3 in parasite transmission, a global analysis of associating transcripts was carried out. Examination of a subset of the selected transcripts revealed their increased abundance through mRNA stabilization upon TbZFP3 ectopic overexpression, dependent upon the integrity of the CCCH zinc finger domain. Reporter assays demonstrated that this regulation was mediated through 3′-UTR sequences for two target transcripts. Global developmental expression profiling of the cohort of TbZFP3-selected transcripts revealed their significant enrichment in transmissible stumpy forms of the parasite. This analysis of the specific mRNAs selected by the TbZFP3mRNP provides evidence for a developmental regulon with the potential to co-ordinate genes important in parasite transmission

Risk factors for death in 632 patients with sickle cell disease in the United States and United Kingdom

Background: The role of pulmonary hypertension as a cause of mortality in sickle cell disease (SCD) is controversial. Methods and Results: We evaluated the relationship between an elevated estimated pulmonary artery systolic pressure and mortality in patients with SCD. We followed patients from the walk-PHaSST screening cohort for a median of 29 months. A tricuspid regurgitation velocity (TRV)≥3.0 m/s cuttof, which has a 67-75% positive predictive value for mean pulmonary artery pressure ≥25 mm Hg was used. Among 572 subjects, 11.2% had TRV≥3.0 m/sec. Among 582 with a measured NT-proBNP, 24.1% had values ≥160 pg/mL. Of 22 deaths during follow-up, 50% had a TRV≥3.0 m/sec. At 24 months the cumulative survival was 83% with TRV≥3.0 m/sec and 98% with TRV47 years, male gender, chronic transfusions, WHO class III-IV, increased hemolytic markers, ferritin and creatinine were also associated with increased risk of death. Conclusions: A TRV≥ 3.0 m/sec occurs in approximately 10% of individuals and has the highest risk for death of any measured variable. The study is registered in ClinicalTrials.gov with identifier: NCT00492531

Down-Regulated NOD2 by Immunosuppressants in Peripheral Blood Cells in Patients with SLE Reduces the Muramyl Dipeptide-Induced IL-10 Production

Pattern recognition receptors (PRRs) such as Toll-like receptors are aberrantly expressed of peripheral blood mononuclear cells (PBMCs) in systemic lupus erythematosus (SLE) patients, for playing immunopathological roles. basal productions of cytokines (IL-6, IL-8 and IL-10) were significantly increased in immunosuppressant naïve patients and patients with active disease despite immunosuppressants compared with HCs. Upon MDP stimulaiton, relative induction (%) of cytokines (IL-1β) from PBMC was significantly increased in immunosuppressant naïve patients with inactive disease, and patients with active disease despite immunosuppressant treatment compared with HCs. Immunosuppressant usage was associated with a decreased basal production and MDP induced relative induction (%) of IL-10 in patients with inactive disease compared with immunosuppressant naïve patients and HCs.Bacterial exposure may increase the NOD2 expression in monocytes in immunosuppressant naïve SLE patients which can subsequently lead to aberrant activation of PBMCs to produce proinflammatory cytokines, implicating the innate immune response for extracellular pathogens in the immunopathological mechanisms in SLE. Immunosuppressant therapy may downregulate NOD2 expression in CD8+ T lymphocytes, monocytes, and DCs in SLE patients which subsequently IL-10 reduction, contributing towards the regulation of immunopathological mechanisms of SLE, at the expense of increasing risk of bacterial infection

Predicting implementation from organizational readiness for change: a study protocol

<p>Abstract</p> <p>Background</p> <p>There is widespread interest in measuring organizational readiness to implement evidence-based practices in clinical care. However, there are a number of challenges to validating organizational measures, including inferential bias arising from the halo effect and method bias - two threats to validity that, while well-documented by organizational scholars, are often ignored in health services research. We describe a protocol to comprehensively assess the psychometric properties of a previously developed survey, the Organizational Readiness to Change Assessment.</p> <p>Objectives</p> <p>Our objective is to conduct a comprehensive assessment of the psychometric properties of the Organizational Readiness to Change Assessment incorporating methods specifically to address threats from halo effect and method bias.</p> <p>Methods and Design</p> <p>We will conduct three sets of analyses using longitudinal, secondary data from four partner projects, each testing interventions to improve the implementation of an evidence-based clinical practice. Partner projects field the Organizational Readiness to Change Assessment at baseline (n = 208 respondents; 53 facilities), and prospectively assesses the degree to which the evidence-based practice is implemented. We will conduct predictive and concurrent validities using hierarchical linear modeling and multivariate regression, respectively. For predictive validity, the outcome is the change from baseline to follow-up in the use of the evidence-based practice. We will use intra-class correlations derived from hierarchical linear models to assess inter-rater reliability. Two partner projects will also field measures of job satisfaction for convergent and discriminant validity analyses, and will field Organizational Readiness to Change Assessment measures at follow-up for concurrent validity (n = 158 respondents; 33 facilities). Convergent and discriminant validities will test associations between organizational readiness and different aspects of job satisfaction: satisfaction with leadership, which should be highly correlated with readiness, versus satisfaction with salary, which should be less correlated with readiness. Content validity will be assessed using an expert panel and modified Delphi technique.</p> <p>Discussion</p> <p>We propose a comprehensive protocol for validating a survey instrument for assessing organizational readiness to change that specifically addresses key threats of bias related to halo effect, method bias and questions of construct validity that often go unexplored in research using measures of organizational constructs.</p

Systematic Review of Medicine-Related Problems in Adult Patients with Atrial Fibrillation on Direct Oral Anticoagulants

New oral anticoagulant agents continue to emerge on the market and their safety requires assessment to provide evidence of their suitability for clinical use. There-fore, we searched standard databases to summarize the English language literature on medicine-related problems (MRPs) of direct oral anticoagulants DOACs (dabigtran, rivaroxban, apixban, and edoxban) in the treatment of adults with atri-al fibrillation. Electronic databases including Medline, Embase, International Pharmaceutical Abstract (IPA), Scopus, CINAHL, the Web of Science and Cochrane were searched from 2008 through 2016 for original articles. Studies pub-lished in English reporting MRPs of DOACs in adult patients with AF were in-cluded. Seventeen studies were identified using standardized protocols, and two reviewers serially abstracted data from each article. Most articles were inconclusive on major safety end points including major bleeding. Data on major safety end points were combined with efficacy. Most studies inconsistently reported adverse drug reactions and not adverse events or medication error, and no definitions were consistent across studies. Some harmful drug effects were not assessed in studies and may have been overlooked. Little evidence is provided on MRPs of DOACs in patients with AF and, therefore, further studies are needed to establish the safety of DOACs in real-life clinical practice